|
フランシス・ウィリアム・ローヴェア（''Francis William Lawvere'', 1937年2月9日 - 、ローヴィア〔 倉田令二朗、『数学の天才と悪魔たち ノイマン・ゲーデル・ヴェイユ』、河合文化教育研究所、〈河合ブックレット9〉、1987年、28頁。ISBN 4-87999-908-3〕、ローヴェルとも〔 を参照。日本語文献が極めて少ないが、カタカナ表記はこの文献に従った〕）は、アメリカの数学者。 インディアナ州マンシー生まれ。1966年からシカゴ大学助教授、1968年から1969年までニューヨーク市立大学大学院センター準教授、1974年からニューヨーク州立大学バッファロー校教授を務めた。圏論、トポス、数学の哲学の研究で知られる。 == 経歴 == ローヴェアは学部時代、連続体力学をクリフォード・トルーズデル:en:Clifford_Truesdellより学ぶ。彼はトルーズデルの関数解析学の講義より圏論を学び、特にジョン・L・ケリー:en:John_L._Kelleyの教科書General Topologyの246ページにてケリーが局所および大域的な問題に対する古いアイデアに比較して"まるで銀河のように強力な理論”と提唱している関手的手法に影響を受けた。ローヴェアはトルーズデルとワルター・ノル:en:n:Walter_Nollの物理的アイデアによるシンプルかつ厳密である前途有望な枠組みを見出した。トルーズデルは1960年に、ローヴェアがコロンビア大学にて圏論の創始者であるサミュエル・アイレンベルグのもとで純粋数学を学びたいという希望をサポートした。 博士課程を終了する前に、ローヴェアはバークレーにて非正規の学生として１年間を費やし、モデル理論と集合論をアルフレト・タルスキとデイナ・スコットから学んだ。彼が初めて教鞭をとったはリード大学であり、基礎論的見地から抽象代数学および微分積分学を教育しようと工夫した。彼は現行の公理的集合論は学部生には難しすぎると思い、集合の写像の構成のための最初の公理を開発した。彼が開発したこの公理は、初等トポス理論において重要な概念（一定の場合）となり、のちにElementary Theory of the Category of Sets(1964)に記載されることとなる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ウィリアム・ローヴェア」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 William Lawvere 」があります。 スポンサード リンク
|